*-Continuous Kleene ω-Algebras
نویسندگان
چکیده
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
منابع مشابه
*-Continuous Kleene $\omega$-Algebras
We define and study basic properties of ∗-continuous Kleene ω-algebras that involve a ∗-continuous Kleene algebra with a ∗-continuous action on a semimodule and an infinite product operation that is also ∗-continuous. We show that ∗-continuous Kleene ω-algebras give rise to iteration semiring-semimodule pairs. We show how our work can be applied to solve certain energy problems for hybrid systems.
متن کاملAn Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras
Energy problems are important in the formal analysis of embedded or autonomous systems. With the purpose of unifying a number of approaches to energy problems found in the literature, we introduce energy automata. These are finite automata whose edges are labeled with energy functions that define how energy levels evolve during transitions. Motivated by this application and in order to compute ...
متن کامل*-Continuous Kleene $\omega$-Algebras for Energy Problems
Energy problems are important in the formal analysis of embedded or autonomous systems. Using recent results on ∗-continuous Kleene ω-algebras, we show here that energy problems can be solved by algebraic manipulations on the transition matrix of energy automata. To this end, we prove general results about certain classes of finitely additive functions on complete lattices which should be of a ...
متن کاملAn ω-Algebra for Real-Time Energy Problems
We develop a ∗-continuous Kleene ω-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time. Using recent results on ∗-continuous Kleene ω-algebras and computability of certain manipulations on real-time energy functions, it follows that reachabili...
متن کاملAn omega-Algebra for Real-Time Energy Problems
We develop a ∗-continuous Kleene ω-algebra of real-time energy functions. Together with corresponding automata, these can be used to model systems which can consume and regain energy (or other types of resources) depending on available time. Using recent results on ∗-continuous Kleene ω-algebras and computability of certain manipulations on real-time energy functions, it follows that reachabili...
متن کامل